<!DOCTYPE html>
<html lang="zh-CN">

<head>
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title>Semantrix 技术平台</title>
    <link rel="shortcut icon" href="shortcut.ico" type="image/x-icon">
    <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
    <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
    <style>
        :root {
            --primary-color: #2A5DDE;
            --secondary-color: #1A365D;
            --accent-color: #4CAF50;
            --primary-dark: #1A365D;
            --accent: #4CAF50;
            --text: #333;
            --light-bg: #f8f9fa;
        }

        /* 基础样式 */
        body {
            font-family: "微软雅黑", sans-serif;
            line-height: 1.6;
            max-width: 1200px;
            margin: 0 auto;
            padding: 20px;
            background: linear-gradient(135deg, #e6f0ff 0%, #f8e8e8 50%, #fff3e0 100%);
            min-height: 100vh;
            position: relative;
        }

        .login-btn {
            position: fixed;
            top: 20px;
            right: 20px;
            background: rgba(255, 255, 255, 0.9);
            color: #1a2a6c;
            padding: 8px 20px;
            border-radius: 20px;
            text-decoration: none;
            font-weight: 500;
            transition: all 0.3s ease;
            display: flex;
            align-items: center;
            gap: 8px;
            box-shadow: 0 4px 12px rgba(0, 0, 0, 0.1);
            backdrop-filter: blur(10px);
            z-index: 1001;
        }

        .login-btn:hover {
            transform: translateY(-2px);
            box-shadow: 0 6px 16px rgba(0, 0, 0, 0.15);
            background: rgba(255, 255, 255, 1);
        }

        .login-btn i {
            font-size: 1.1em;
        }

        @media (max-width: 768px) {
            .login-btn {
                top: 10px;
                right: 10px;
                padding: 6px 15px;
                font-size: 0.9em;
            }
        }

        /* 导航样式 */
        nav {
            background: rgba(255, 255, 255, 0.95);
            padding: 15px;
            margin-bottom: 30px;
            position: sticky;
            top: 0;
            border-radius: 8px;
            box-shadow: 0 4px 12px rgba(0, 0, 0, 0.1);
            backdrop-filter: blur(10px);
            z-index: 1000;
        }

        nav a {
            margin-right: 25px;
            cursor: pointer;
            color: #2A5DDE;
            text-decoration: none;
            padding: 5px 10px;
            border-radius: 4px;
        }

        nav a:hover {
            background: #e0e0e0;
        }

        nav a.active {
            background: #2A5DDE;
            color: white;
        }

        /* 内容区块 */
        .content-section {
            display: none;
            padding: 20px;
            border: 1px solid #eee;
            margin: 20px 0;
            border-radius: 5px;
        }

        .content-section.active {
            display: block;
            animation: fadeIn 0.3s ease;
        }

        @keyframes fadeIn {
            from {
                opacity: 0;
                transform: translateY(10px);
            }

            to {
                opacity: 1;
                transform: translateY(0);
            }
        }


        /******************************** 产品介绍 ***************************************/

        .product-header {
            background: linear-gradient(135deg, var(--primary-color), var(--secondary-color));
            color: white;
            padding: 4rem 2rem;
            border-radius: 1rem;
            margin-bottom: 3rem;
            box-shadow: 0 8px 24px rgba(0, 0, 0, 0.1);
        }

        .spec-table {
            width: 100%;
            border-collapse: collapse;
            margin: 2rem 0;
        }

        .spec-table th,
        .spec-table td {
            padding: 1.2rem;
            border-bottom: 1px solid #eee;
            text-align: left;
        }

        .spec-table tr:hover {
            background: #f8f9fa;
        }

        .feature-card {
            display: grid;
            grid-template-columns: 80px 1fr;
            gap: 1.5rem;
            padding: 2rem;
            border: 1px solid #eee;
            border-radius: 1rem;
            margin: 1.5rem 0;
            transition: transform 0.2s;
        }

        .feature-card:hover {
            transform: translateY(-5px);
            box-shadow: 0 6px 20px rgba(0, 0, 0, 0.08);
        }

        .architecture-diagram {
            width: 100%;
            max-width: 800px;
            margin: 2rem auto;
        }

        .tech-tag {
            display: inline-block;
            padding: 0.4rem 0.8rem;
            background: #e8f4ff;
            color: var(--primary-color);
            border-radius: 2rem;
            margin: 0.2rem;
            font-size: 0.9em;
        }

        @media (max-width: 768px) {
            .feature-card {
                grid-template-columns: 1fr;
            }
        }

        /******************************** 文档介绍 ***************************************/

        .math-box {
            background: var(--light-bg);
            padding: 1.5rem;
            border-radius: 8px;
            margin: 1.5rem 0;
            overflow-x: auto;
        }

        .theorem {
            border-left: 4px solid var(--accent);
            padding-left: 1.5rem;
            margin: 2rem 0;
        }

        .theorem-title {
            font-weight: bold;
            color: var(--secondary);
        }

        .interactive-canvas {
            height: 400px;
            border: 1px solid #eee;
            border-radius: 8px;
            margin: 2rem 0;
            background: #fcfcfc;
        }

        @media (max-width: 768px) {
            body {
                grid-template-columns: 1fr;
            }
        }

        /******************************** 博客对别介绍 ***************************************/


        .comparison-table {
            width: 100%;
            border-collapse: collapse;
            margin: 2rem 0;
        }

        .comparison-table th,
        .comparison-table td {
            padding: 1.5rem;
            border: 1px solid #ddd;
            vertical-align: top;
        }

        .old-solution {
            background: var(--old-color);
            width: 35%;
        }

        .new-solution {
            background: var(--new-color);
            width: 65%;
        }

        .feature-tag {
            display: inline-block;
            padding: 0.4rem 0.8rem;
            margin: 0.2rem;
            border-radius: 1rem;
            font-size: 0.9em;
        }

        .old-tag {
            background: #ffcdd2;
            color: #c62828;
        }

        .new-tag {
            background: #c8e6c9;
            color: #2e7d32;
        }

        .improvement {
            color: #2e7d32;
            font-weight: bold;
        }

        @media (max-width: 768px) {
            .comparison-table {
                display: block;
                overflow-x: auto;
            }
        }

        /******************************** 首页介绍 ***************************************/


        .header {
            background: linear-gradient(135deg, var(--primary), var(--primary-dark));
            padding: 2rem 1rem;
            text-align: center;
        }

        .hero {
            max-width: 800px;
            margin: 0 auto;
            padding: 4rem 1rem;
        }

        .hero h1 {
            font-size: 2.5rem;
            margin-bottom: 1.5rem;
            line-height: 1.2;
        }

        .hero p {
            font-size: 1.2rem;
            margin-bottom: 2rem;
            opacity: 0.9;
        }

        .cta-button {
            display: inline-block;
            background: linear-gradient(135deg, #1a2a6c 0%, #b21f1f 100%);
            color: white;
            padding: 1rem 4rem;
            text-decoration: none;
            font-weight: bold;
            font-size: 1.2rem;
            transition: transform 0.3s, box-shadow 0.3s;
            margin: 1rem 0;
            border: none;
        }

        .cta-button:hover {
            transform: translateY(-2px);
            box-shadow: 0 5px 15px rgba(0, 0, 0, 0.2);
        }

        .features {
            display: grid;
            grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
            gap: 2rem;
            padding: 4rem 1rem;
            max-width: 1200px;
            margin: 0 auto;
        }

        .feature-card {
            background: white;
            border-radius: 12px;
            padding: 2rem;
            box-shadow: 0 5px 15px rgba(0, 0, 0, 0.05);
            transition: transform 0.3s;
        }

        .feature-card:hover {
            transform: translateY(-10px);
        }

        .feature-icon {
            font-size: 2.5rem;
            margin-bottom: 1.5rem;
            color: var(--primary);
        }

        .demo-section {
            background: var(--light-bg);
            padding: 4rem 1rem;
            text-align: center;
        }

        .demo-container {
            display: grid;
            grid-template-columns: repeat(2, minmax(300px, 450px));
            gap: 2rem;
            margin: 3rem auto;
            padding: 0 1rem;
            justify-content: center;
            max-width: 1000px;
        }

        .demo-card {
            background: white;
            padding: 2rem;
            box-shadow: 0 10px 25px rgba(0, 0, 0, 0.1);
            transition: transform 0.3s;
            text-align: left;
        }

        .demo-card:hover {
            transform: translateY(-10px);
        }

        .demo-icon {
            font-size: 2.5rem;
            margin-bottom: 1rem;
            color: #1a2a6c;
        }

        .demo-title {
            font-size: 1.4rem;
            font-weight: 600;
            margin-bottom: 1rem;
            color: #2c3e50;
        }

        .demo-description {
            color: #666;
            margin-bottom: 1.5rem;
            line-height: 1.6;
        }

        .demo-features {
            list-style: none;
            padding: 0;
            margin: 0 0 1.5rem 0;
        }

        .demo-features li {
            display: flex;
            align-items: center;
            gap: 0.5rem;
            margin-bottom: 0.5rem;
            color: #2c3e50;
        }

        .demo-features li i {
            color: #1a2a6c;
        }

        .demo-cta {
            text-align: center;
            margin-top: 2rem;
        }

        .demo-cta .cta-button {
            font-size: 1.2rem;
            padding: 1rem 4rem;
        }

        footer {
            background: var(--primary-dark);
            color: white;
            text-align: center;
            padding: 2rem;
            margin-top: 3rem;
        }

        @media (max-width: 768px) {
            .hero h1 {
                font-size: 2rem;
            }

            .features {
                grid-template-columns: 1fr;
            }
        }

        /******************************** 解决方案 ***************************************/

        .product-header {
            background: linear-gradient(135deg, var(--primary), var(--primary-dark));
            color: white;
            padding: 4rem 2rem;
            border-radius: 16px;
            margin-bottom: 3rem;
            text-align: center;
        }

        .feature-card1 {
            gap: 3rem;
            margin: 4rem 0;
            align-items: center;
        }

        .feature-card1.reverse {
            direction: rtl;
        }

        .feature-content {
            direction: ltr;
        }

        .analogy {
            font-size: 1.2rem;
            color: var(--primary);
            font-weight: bold;
            margin-bottom: 1rem;
        }

        .use-case {
            background: #f8f9fa;
            padding: 1.5rem;
            border-radius: 12px;
            margin: 1.5rem 0;
            border-left: 4px solid var(--accent);
        }

        .icon-badge {
            display: inline-flex;
            align-items: center;
            justify-content: center;
            width: 50px;
            height: 50px;
            background: var(--highlight);
            color: #333;
            border-radius: 50%;
            font-size: 1.5rem;
            margin-right: 1rem;
            vertical-align: middle;
        }

        .tech-tag {
            display: inline-block;
            padding: 0.4rem 0.8rem;
            background: #e3f2fd;
            color: var(--primary-dark);
            border-radius: 2rem;
            margin: 0.3rem;
            font-size: 0.9em;
        }

        @media (max-width: 768px) {
            .feature-card1 {
                grid-template-columns: 1fr;
            }
        }

        /* 市场推荐部分 */
        .market-section {
            padding: 4rem 1rem;
            text-align: center;
            background: rgba(255, 255, 255, 0.9);
            backdrop-filter: blur(10px);
            border-radius: 20px;
            margin: 2rem auto;
            max-width: 1000px;
        }

        .market-header {
            margin-bottom: 2rem;
        }

        .market-header h2 {
            font-size: 2.5rem;
            color: #1a2a6c;
            margin-bottom: 1rem;
        }

        .market-header p {
            font-size: 1.2rem;
            color: #666;
            max-width: 600px;
            margin: 0 auto;
        }

        .market-preview {
            display: grid;
            grid-template-columns: repeat(auto-fit, minmax(250px, 1fr));
            gap: 2rem;
            margin: 3rem 0;
            padding: 0 1rem;
        }

        .model-preview-card {
            background: white;
            border-radius: 15px;
            padding: 1.5rem;
            box-shadow: 0 10px 25px rgba(0, 0, 0, 0.1);
            transition: transform 0.3s;
            text-align: left;
        }

        .model-preview-card:hover {
            transform: translateY(-10px);
        }

        .model-type {
            font-size: 0.9rem;
            color: #1a2a6c;
            font-weight: 500;
            margin-bottom: 0.5rem;
        }

        .model-name {
            font-size: 1.2rem;
            font-weight: 600;
            margin-bottom: 1rem;
            color: #2c3e50;
        }

        .model-stats {
            display: flex;
            gap: 1rem;
            font-size: 0.9rem;
            color: #666;
            margin-top: 1rem;
        }

        .model-stats span {
            display: flex;
            align-items: center;
            gap: 0.3rem;
        }

        .market-cta {
            margin-top: 2rem;
        }

        .market-cta .cta-button {
            font-size: 1.2rem;
            padding: 1rem 4rem;
        }

        .market-stats {
            display: flex;
            justify-content: center;
            gap: 4rem;
            margin-top: 3rem;
            color: #1a2a6c;
        }

        .stat-item {
            text-align: center;
        }

        .stat-value {
            font-size: 2.5rem;
            font-weight: bold;
            margin-bottom: 0.5rem;
        }

        .stat-label {
            font-size: 1rem;
            color: #666;
        }

        /* 统一的section样式 */
        .feature-section {
            padding: 4rem 2rem;
            text-align: center;
            background: rgba(255, 255, 255, 0.95);
            backdrop-filter: blur(10px);
            margin: 2rem auto;
            max-width: 1200px;
            box-shadow: 0 15px 35px rgba(0, 0, 0, 0.1);
            position: relative;
            z-index: 1;
        }

        .feature-section h2 {
            font-size: 2.5rem;
            color: #1a2a6c;
            margin-bottom: 1rem;
        }

        .feature-section p {
            font-size: 1.2rem;
            color: #666;
            max-width: 800px;
            margin: 0 auto 2rem auto;
        }

        .demo-container {
            display: grid;
            grid-template-columns: repeat(2, 1fr);
            gap: 2rem;
            margin: 3rem 0;
            padding: 0 1rem;
        }

        .demo-card {
            background: white;
            padding: 2rem;
            box-shadow: 0 10px 25px rgba(0, 0, 0, 0.1);
            transition: transform 0.3s;
            text-align: left;
        }

        .demo-card:hover {
            transform: translateY(-10px);
        }

        .demo-icon {
            font-size: 2.5rem;
            margin-bottom: 1rem;
            color: #1a2a6c;
        }

        .demo-title {
            font-size: 1.4rem;
            font-weight: 600;
            margin-bottom: 1rem;
            color: #2c3e50;
        }

        .demo-description {
            color: #666;
            margin-bottom: 1.5rem;
            line-height: 1.6;
        }

        .demo-features {
            list-style: none;
            padding: 0;
            margin: 0 0 1.5rem 0;
        }

        .demo-features li {
            display: flex;
            align-items: center;
            gap: 0.5rem;
            margin-bottom: 0.5rem;
            color: #2c3e50;
        }

        .demo-features li i {
            color: #1a2a6c;
        }

        .demo-cta {
            text-align: center;
            margin-top: 2rem;
        }

        .demo-cta .cta-button {
            font-size: 1.2rem;
            padding: 1rem 4rem;
            background: linear-gradient(135deg, #1a2a6c 0%, #b21f1f 100%);
            color: white;
            border: none;
            transition: transform 0.3s, box-shadow 0.3s;
        }

        .demo-cta .cta-button:hover {
            transform: translateY(-2px);
            box-shadow: 0 5px 15px rgba(0, 0, 0, 0.2);
        }

        /* 添加用户信息相关样式 */
        .user-profile {
            position: fixed;
            right: 2rem;
            top: 2rem;
            cursor: pointer;
            z-index: 1001;
        }

        .user-profile-container {
            position: relative;
            display: flex;
            align-items: center;
            gap: 0.5rem;
            z-index: 3;
        }

        .user-name {
            font-size: 1.1rem;
            color: #1a2a6c;
            font-weight: 500;
        }

        .user-avatar {
            width: 32px;
            height: 32px;
            border-radius: 50%;
            background: #1a2a6c;
            color: white;
            display: flex;
            align-items: center;
            justify-content: center;
            font-weight: bold;
        }

        .dropdown-menu {
            position: absolute;
            top: 100%;
            right: 0;
            background: white;
            border-radius: 8px;
            box-shadow: 0 4px 12px rgba(0, 0, 0, 0.1);
            min-width: 160px;
            display: none;
            z-index: 4;
            margin-top: 0.5rem;
        }

        .dropdown-menu.show {
            display: block;
        }

        .dropdown-item {
            padding: 0.75rem 1rem;
            color: #2c3e50;
            text-decoration: none;
            display: block;
            transition: all 0.3s;
        }

        .dropdown-item:hover {
            background: rgba(26, 42, 108, 0.05);
            color: #1a2a6c;
        }

        .dropdown-item i {
            margin-right: 0.5rem;
            color: #1a2a6c;
        }
    </style>
</head>

<body>
    <!-- 用户信息区域 -->
    <div id="userSection">
        <!-- 登录按钮 -->
        <a href="user/login.html" class="login-btn" id="loginBtn">
            <i class="fas fa-sign-in-alt"></i>
            登录
        </a>
        
        <!-- 用户信息 -->
        <div class="user-profile" id="userProfile" style="display: none;">
            <div class="user-profile-container">
                <div class="user-avatar" id="userAvatar">U</div>
                <span class="user-name" id="userName">未登录</span>
            </div>
            <div class="dropdown-menu" id="dropdownMenu">
                <a href="personal/scriptOperate.html" class="dropdown-item">
                    <i class="fas fa-tachometer-alt"></i> 个人工作台
                </a>
                <a href="#" class="dropdown-item" id="logoutBtn">
                    <i class="fas fa-sign-out-alt"></i> 退出登录
                </a>
            </div>
        </div>
    </div>

    <!-- 导航 -->
    <nav>
        <a onclick="showSection('home')" class="active">首页</a>
        <a onclick="showSection('product')">产品</a>
        <!-- <a onclick="showSection('solution')">解决方案</a> -->
        <a onclick="showSection('docs')">文档</a>
        <!-- <a onclick="showSection('cases')">案例</a> -->
        <a onclick="showSection('blog')">博客</a>
        <a onclick="showSection('contact')">联系我们</a>
    </nav>

    <!-- 首页内容 -->
    <div id="home" class="content-section active">
        <header class="header">
            <div class="container">
                <h1>Semantrix 确定性语义网络平台</h1>
                <p>下一代确定性语义网络解决方案提供商</p>
            </div>
        </header>

        <section class="hero">
            <h1>打破信息孤岛，重构数据价值</h1>
            <p>
                基于量化约束的下一代语义网络技术，实现跨系统数据的精准映射与无损转换。
                平均降低企业数据整合成本73%，提升处理效率15倍。
            </p>
            <a href="#demo" class="cta-button">立即体验</a>
        </section>

        <!-- 市场推荐部分 -->
        <section class="feature-section">
            <div class="market-header">
                <h2>探索模型市场</h2>
                <p>发现和使用由专业团队开发的高质量语义网络模型，快速构建你的应用</p>
            </div>
            <div class="market-preview">
                <div class="model-preview-card">
                    <div class="model-type">地理信息模型</div>
                    <h3 class="model-name">省份城市关系模型</h3>
                    <p>完整的中国省份-城市数据模型，支持双向查询和多语言</p>
                    <div class="model-stats">
                        <span><i class="fas fa-star"></i> 98%</span>
                        <span><i class="fas fa-download"></i> 1.2k</span>
                    </div>
                </div>
                <div class="model-preview-card">
                    <div class="model-type">医疗健康模型</div>
                    <h3 class="model-name">医院知识图谱</h3>
                    <p>包含医院、科室、医生等多维度信息的完整医疗模型</p>
                    <div class="model-stats">
                        <span><i class="fas fa-star"></i> 95%</span>
                        <span><i class="fas fa-download"></i> 856</span>
                    </div>
                </div>
            </div>
            <div class="market-stats">
                <div class="stat-item">
                    <div class="stat-value">200+</div>
                    <div class="stat-label">可用模型</div>
                </div>
                <div class="stat-item">
                    <div class="stat-value">50k+</div>
                    <div class="stat-label">月下载量</div>
                </div>
                <div class="stat-item">
                    <div class="stat-value">98%</div>
                    <div class="stat-label">平均适配率</div>
                </div>
            </div>
            <div class="market-cta">
                <a href="model-market.html" class="cta-button">浏览全部模型</a>
            </div>
        </section>

        <!-- 演示部分 -->
        <section id="demo" class="feature-section">
            <h2>立即体验技术演示</h2>
            <p>快速体验语义网络的强大功能，无需注册即可开始使用</p>

            <div class="demo-container">
                <div class="demo-card">
                    <div class="demo-icon">🔄</div>
                    <h3 class="demo-title">模型映射演示</h3>
                    <p class="demo-description">体验语义网络的核心功能，了解如何实现不同系统间的数据无缝转换</p>
                    <ul class="demo-features">
                        <li><i class="fas fa-check"></i> 可视化模型构建</li>
                        <li><i class="fas fa-check"></i> 实时映射预览</li>
                        <li><i class="fas fa-check"></i> 智能匹配建议</li>
                    </ul>
                </div>
                <div class="demo-card">
                    <div class="demo-icon">🔍</div>
                    <h3 class="demo-title">路径查询演示</h3>
                    <p class="demo-description">探索语义网络的智能路径发现功能，快速找到数据之间的关联</p>
                    <ul class="demo-features">
                        <li><i class="fas fa-check"></i> 多维度路径搜索</li>
                        <li><i class="fas fa-check"></i> 关系强度分析</li>
                        <li><i class="fas fa-check"></i> 可视化结果展示</li>
                    </ul>
                </div>
            </div>
            <div class="demo-cta">
                <a href="scriptOperate.html" class="cta-button">开始体验演示</a>
            </div>
        </section>
    </div>

    <!-- 产品内容 -->
    <div id="product" class="content-section">

        <!-- 语义网关中间件 -->
        <div class="feature-card1">
            <div class="feature-content">
                <div class="analogy">🔌 如同"USB接口"的通用性</div>
                <h2>语义网关中间件</h2>
                <p>传统系统对接需要定制开发适配器，如同每个USB设备需要独立驱动</p>

                <div class="use-case">
                    <h3>🏥 医疗数据互通案例</h3>
                    <p>医院A的<b>"患者ID"</b>与医院B的<b>"病历号"</b>自动映射：</p>
                    <ul>
                        <li>病历共享效率提升<span class="tech-tag">10倍</span></li>
                        <li>误诊率降低<span class="tech-tag">35%</span></li>
                    </ul>
                </div>

                <div class="use-case">
                    <h3>🚚 供应链协同案例</h3>
                    <p><b>"订单号"</b>与<b>"运单号"</b>智能关联：</p>
                    <ul>
                        <li>物流协同成本降低<span class="tech-tag">70%</span></li>
                        <li>异常响应速度提升<span class="tech-tag">8倍</span></li>
                    </ul>
                </div>
            </div>
        </div>

        <!-- 语义组件市场 -->
        <div class="feature-card1 reverse">
            <div class="feature-content">
                <div class="analogy">🧩 如同"乐高积木"的灵活性</div>
                <h2>语义组件市场</h2>
                <p>企业系统如同不同品牌的积木，传统方式无法拼装组合</p>

                <div class="use-case">
                    <h3>🏭 制造业智能升级</h3>
                    <p>直接调用市场中的<span class="tech-tag">设备故障预测</span>组件：</p>
                    <ul>
                        <li>与MES系统集成周期从<span class="tech-tag">3个月</span>缩短至<span class="tech-tag">1周</span></li>
                        <li>预测准确率达<span class="tech-tag">92%</span></li>
                    </ul>
                </div>

                <div class="use-case">
                    <h3>📊 金融风控增强</h3>
                    <p>组合使用<span class="tech-tag">反欺诈</span>+<span class="tech-tag">信用评估</span>组件：</p>
                    <ul>
                        <li>风险识别率提升<span class="tech-tag">40%</span></li>
                        <li>人工审核量减少<span class="tech-tag">60%</span></li>
                    </ul>
                </div>
            </div>
        </div>

        <!-- 个人数字身份 -->
        <div class="feature-card1">
            <div class="feature-content">
                <div class="analogy">🆔 你的"数字身份证"</div>
                <h2>个人语义档案</h2>
                <p>告别重复填写个人信息，一次维护全局同步</p>

                <div class="use-case">
                    <h3>🏠 智能地址更新</h3>
                    <p>用户修改一次<b>"家庭地址"</b>：</p>
                    <ul>
                        <li>淘宝、银行、物业等<span class="tech-tag">12个平台</span>自动同步</li>
                        <li>每年节省<span class="tech-tag">5.6小时</span>重复操作</li>
                    </ul>
                </div>

                <div class="use-case">
                    <h3>🏥 医疗信息共享</h3>
                    <p>医院申请获取<span class="tech-tag">过敏史</span>和<span class="tech-tag">用药记录</span>：</p>
                    <ul>
                        <li>问诊时间缩短<span class="tech-tag">65%</span></li>
                        <li>用药错误归零</li>
                    </ul>
                </div>
            </div>
        </div>

    </div>

    <!-- 解决方案内容 -->
    <div id="solution" class="content-section">
        <h1>核心产品矩阵</h1>
        <div class="product-list">
            <div>
                <h2>语义映射引擎</h2>
                <ul>
                    <li>版本：v3.2.1</li>
                    <li>处理能力：3,000模型/秒</li>
                    <li>兼容标准：ISO/IEC 19763-8:2022</li>
                </ul>
            </div>

            <header class="product-header">
                <h1>Semantrix 确定性语义网络引擎 v3.2</h1>
                <p>全球首个通过ISO/IEC 19763-8认证的智能映射解决方案</p>
                <div class="tech-tags">
                    <span class="tech-tag">多模型兼容</span>
                    <span class="tech-tag">零信息损耗</span>
                    <span class="tech-tag">军工级安全</span>
                </div>
            </header>

            <section id="core-features">
                <h2>核心功能特性</h2>
                <div class="feature-card">
                    <div class="icon">🔗</div>
                    <div>
                        <h3>智能语义映射</h3>
                        <ul>
                            <li>支持200+行业标准数据模型实时转换</li>
                            <li>自动识别30种常见数据模式冲突</li>
                            <li>内置ISO 8000数据质量标准验证</li>
                        </ul>
                    </div>
                </div>

                <div class="feature-card">
                    <div class="icon">⚡</div>
                    <div>
                        <h3>高性能推理引擎</h3>
                        <ul>
                            <li>单节点处理能力：3,000模型/秒</li>
                            <li>复杂路径推理延迟：&lt;10ms</li>
                            <li>支持横向扩展至100+节点集群</li>
                        </ul>
                    </div>
                </div>
            </section>

            <section id="technical-specs">
                <h2>技术规格</h2>
                <table class="spec-table">
                    <thead>
                        <tr>
                            <th>指标</th>
                            <th>规格</th>
                            <th>测试标准</th>
                        </tr>
                    </thead>
                    <tbody>
                        <tr>
                            <td>最大模型复杂度</td>
                            <td>10,000节点/模型</td>
                            <td>TPC-DS Benchmark</td>
                        </tr>
                        <tr>
                            <td>映射准确率</td>
                            <td>99.999%</td>
                            <td>ISO/IEC 25000</td>
                        </tr>
                        <tr>
                            <td>安全标准</td>
                            <td>AES-256加密传输</td>
                            <td>FIPS 140-2 Level 3</td>
                        </tr>
                    </tbody>
                </table>
            </section>

            <section id="architecture">
                <h2>系统架构</h2>
                <img src="architecture.svg" alt="三层系统架构图" class="architecture-diagram">
                <div class="arch-desc">
                    <h3>核心组件</h3>
                    <ol>
                        <li><strong>约束建模层</strong>：基于区间代数的声明式建模语言</li>
                        <li><strong>分布式推理层</strong>：改进型Floyd-Warshall算法集群</li>
                        <li><strong>动态验证层</strong>：实时漂移检测与自动修正</li>
                    </ol>
                </div>
            </section>

            <section id="integration">
                <h2>集成支持</h2>
                <div class="integration-list">
                    <div class="integration-item">
                        <h3>开发接口</h3>
                        <pre><code>SemanticMapper.connect(source="ERP_A", target="SAP")
  .withConstraints({"min":1, "max":"*"})
  .execute()</code></pre>
                    </div>
                    <div class="integration-item">
                        <h3>支持平台</h3>
                        <ul>
                            <li>Java 11+</li>
                            <li>Python 3.8+</li>
                            <li>Kubernetes 1.24+</li>
                        </ul>
                    </div>
                </div>
            </section>


        </div>
    </div>

    <!-- 文档内容 -->
    <div id="docs" class="content-section">
        <div>
            <h3>文档目录</h3>
            <ul>
                <li><a href="#math-structure" class="active">基础数学结构</a></li>
                <li><a href="#quantified-relation">量化关系</a></li>
                <li><a href="#semantic-network">语义网络</a></li>
                <li><a href="#equivalence">跨模型等价性</a></li>
                <li><a href="#theorems">关键定理</a></li>
            </ul>
        </div>

        <main>
            <!-- 基础数学结构 -->
            <section id="math-structure">
                <h2>基础数学结构</h2>
                <div class="math-box">
                    <h3>概念空间（Concept Space）</h3>
                    <p>设全集 \( \mathcal{U} \) 为所有可能概念的集合，定义：</p>
                    \[
                    \forall c \in \mathcal{C} \subseteq \mathcal{U}, \quad c \neq \emptyset
                    \]
                    <p>其中 \( \mathcal{C} \) 为特定语义网络中的概念集合。</p>
                </div>
            </section>

            <!-- 量化关系 -->
            <section id="quantified-relation">
                <h2>量化关系</h2>
                <div class="math-box">
                    <h3>定义（Quantified Relation）</h3>
                    <p>一个量化关系是五元组：</p>
                    \[
                    R = \left( c_s, c_t, k_{\text{min}}, k_{\text{max}}, \mathcal{F} \right)
                    \]
                    <p>其中：</p>
                    <ul>
                        <li>\( c_s, c_t \in \mathcal{C} \)：源概念和目标概念</li>
                        <li>\( k_{\text{min}} \in \mathbb{N}_0 \)：最小基数约束</li>
                        <li>\( k_{\text{max}} \in \mathbb{N}_0 \cup \{ \infty \} \)：最大基数约束</li>
                        <li>\( \mathcal{F}: c_s \to \mathcal{P}(c_t) \)：实例映射函数</li>
                    </ul>
                    <p>满足：</p>
                    \[
                    \forall x \in c_s, \quad k_{\text{min}} \leq | \mathcal{F}(x) | \leq k_{\text{max}}
                    \]
                </div>
            </section>

            <!-- 语义网络 -->
            <section id="semantic-network">
                <h2>语义网络</h2>
                <div class="math-box">
                    <h3>定义（Semantic Network）</h3>
                    <p>一个语义网络是三元组：</p>
                    \[
                    \mathcal{S} = \left( \mathcal{C}, \mathcal{R}, \mathcal{I} \right)
                    \]
                    <p>其中：</p>
                    <ul>
                        <li>\( \mathcal{C} \)：有限概念集合</li>
                        <li>\( \mathcal{R} \subseteq \mathcal{C} \times \mathcal{C} \times \mathbb{N}_0 \times
                            (\mathbb{N}_0 \cup \{ \infty \}) \)：量化关系集合</li>
                        <li>\( \mathcal{I}: \mathcal{C} \to \mathcal{P}(\mathcal{U}) \)：实例化函数</li>
                    </ul>
                    <p>满足：</p>
                    \[
                    \forall c \in \mathcal{C}, \quad \mathcal{I}(c) \subseteq \mathcal{U} \ \text{且} \ \mathcal{I}(c)
                    \neq \emptyset
                    \]
                </div>
            </section>

            <!-- 跨模型等价性 -->
            <section id="equivalence">
                <h2>跨模型等价性</h2>
                <div class="math-box">
                    <h3>概念等价（Concept Equivalence）</h3>
                    <p>两个概念 \( c_A \in \mathcal{S}_A \) 和 \( c_B \in \mathcal{S}_B \) <strong>严格等价</strong>（记为 \( c_A
                        \equiv c_B \)），当且仅当存在双射 \( \phi: \mathcal{I}(c_A) \leftrightarrow \mathcal{I}(c_B) \)，满足：</p>
                    \[
                    \forall R_A = (c_A, c', k_{\text{min}}, k_{\text{max}}}) \in \mathcal{R}_A, \ \exists R_B = (c_B,
                    \phi(c'), k_{\text{min}}, k_{\text{max}}}) \in \mathcal{R}_B
                    \]
                    <p>且反向关系也成立。</p>
                </div>
            </section>

            <!-- 关键定理 -->
            <section id="theorems">
                <h2>关键定理与证明框架</h2>

                <div class="theorem">
                    <div class="theorem-title">定理1（约束传递性）</div>
                    <p>若存在关系链 \( R_1: c_a \to c_b \) 和 \( R_2: c_b \to c_c \)，其复合关系 \( R_1 \circ R_2 \) 的基数约束为：</p>
                    \[
                    k_{\text{min}}^{\text{composite}} = k_{\text{min}}^{R_1} \times k_{\text{min}}^{R_2}, \quad
                    k_{\text{max}}^{\text{composite}} =
                    \begin{cases}
                    k_{\text{max}}^{R_1} \times k_{\text{max}}^{R_2} & \text{if } k_{\text{max}}^{R_1},
                    k_{\text{max}}^{R_2} \neq \infty \\
                    \infty & \text{otherwise}
                    \end{cases}
                    \]
                    <div class="math-box">
                        <h4>证明</h4>
                        <p>对任意 \( x \in c_a \)，设 \( \mathcal{F}_{R_1}(x) = \{ y_1, y_2, \dots, y_m \} \)，则：</p>
                        \[
                        \mathcal{F}_{R_1 \circ R_2}(x) = \bigcup_{i=1}^m \mathcal{F}_{R_2}(y_i)
                        \]
                        <p>由乘法原理，基数下限为 \( k_{\text{min}}^{R_1} \times k_{\text{min}}^{R_2} \)，上限同理。</p>
                    </div>
                </div>

                <div class="theorem">
                    <div class="theorem-title">定理2（等价性判定）</div>
                    <p>若两个概念 \( c_A \) 和 \( c_B \) 满足：</p>
                    <ol>
                        <li>\( \mathcal{I}(c_A) = \mathcal{I}(c_B) \)</li>
                        <li>\( \forall R_A \in \mathcal{R}_A, \exists R_B \in \mathcal{R}_B \) 使得 \( R_A \) 和 \( R_B \)
                            的约束一致</li>
                    </ol>
                    <p>则 \( c_A \equiv c_B \)。</p>
                    <div class="math-box">
                        <h4>证明</h4>
                        <p>构造恒等映射 \( \phi(x) = x \)，验证关系约束保持。</p>
                    </div>
                </div>
            </section>
        </main>

    </div>

    <!-- 案例内容 -->
    <div id="cases" class="content-section">
        <h1>成功案例</h1>
        <div class="case-studies">
            <div>
                <h2>中国银行全球财报系统</h2>
                <ul>
                    <li>整合26个国家财务系统</li>
                    <li>财报生成时间缩短98%</li>
                </ul>
            </div>
        </div>
    </div>

    <!-- 博客内容 -->
    <div id="blog" class="content-section">
        <h1>语义网络的底层逻辑</h1>
        <p>
        1. 背后模型理解一致是信息交换的基础
            接口或表格仅仅是模型的一种表达形式
            <br>
        2. 每个软件都相当于一种方言，软件在完成功能的同时，对于跨系统的信息交换创建了一座高墙
            100个软件之间两两对接就需要高达9900次才可以完成
            <br>
        3. 建立一种跨系统的标准的信息交换方案势在必行
        <br>
        4. 语义网络可以屏蔽每个人因为自己表达和理解差异造成的信息交换障碍
           常见的障碍包括：命名、数据类型、数据结构、数据格式；每个人表达的虽然有差异。但是如果是正确的就是可以相互转换的。
           语义网络的使用流程是：表达出对于要访问系统的背后的模型。其他人将其他模型转换到调用方需要的模型，完成系统的联通。
           调用方表达事物背后模型的选择过程就会选择一个使用广泛的，匹配度高的，这个选择的力量就会消除掉大量的方言要素，最终促进信息的交换
        </p>
        <h1>目前的推进思路</h1>
        <p>
            1. 选择一个领域，将不同软件的系统接口接入到我们语义网络平台，构建一个统一的语义层，基于统一的语义层开发应用，对用户产生价值。
            <br>
            2. 增加接入的软件和系统，扩充语义层，推动厂商有动力接入语义层，完成正向循环。
        </p>

        <h1>我还是需要一步一步来</h1>
        <p>
            1. 先做好语义网络的存储<br>
            2. 做好一个开发平台和应用市场<br>
            3. 集成公用的接口开始推广<br>
            4. 开始对接不同的系统上语义网络<br>
        </p>
        <h1>语义网络技术方案对比</h1>
        <table class="comparison-table">
            <thead>
                <tr>
                    <th class="old-solution">传统方案 (RDF/OWL)</th>
                    <th class="new-solution">当前方案 (Semantrix v3)</th>
                </tr>
            </thead>
            <tbody>
                <!-- 数据模型 -->
                <tr>
                    <td class="old-solution">
                        <h3>📦 三元组数据模型</h3>
                        <ul>
                            <li>基于主语-谓语-宾语结构</li>
                            <li>有限的关系表达能力</li>
                            <li>缺乏量化约束机制</li>
                        </ul>
                        <span class="feature-tag old-tag">静态模型</span>
                    </td>
                    <td class="new-solution">
                        <h3>🚀 量化约束网络</h3>
                        <ul>
                            <li>支持[0..n]基数约束声明</li>
                            <li>动态关系传播机制</li>
                            <li>内置16种标准约束模式</li>
                        </ul>
                        <span class="improvement">+300% 模型表达能力</span>
                        <span class="feature-tag new-tag">动态验证</span>
                    </td>
                </tr>

                <!-- 查询效率 -->
                <tr>
                    <td class="old-solution">
                        <h3>⏳ SPARQL查询</h3>
                        <ul>
                            <li>平均响应时间：120-500ms</li>
                            <li>复杂查询呈指数级增长</li>
                            <li>缺乏路径优化机制</li>
                        </ul>
                    </td>
                    <td class="new-solution">
                        <h3>⚡ 智能路径推导</h3>
                        <ul>
                            <li>平均响应时间：8-15ms</li>
                            <li>改进型Floyd-Warshall算法</li>
                            <li>自动约束剪枝优化</li>
                        </ul>
                        <span class="improvement">15倍性能提升</span>
                    </td>
                </tr>

                <!-- 标准化 -->
                <tr>
                    <td class="old-solution">
                        <h3>🌐 W3C标准</h3>
                        <ul>
                            <li>RDF 1.1</li>
                            <li>OWL 2</li>
                            <li>SPARQL 1.1</li>
                        </ul>
                    </td>
                    <td class="new-solution">
                        <h3>🏅 增强标准支持</h3>
                        <ul>
                            <li>兼容ISO/IEC 19763-8:2022</li>
                            <li>支持GDPR/HIPAA合规验证</li>
                            <li>金融级数据安全标准</li>
                        </ul>
                        <span class="feature-tag new-tag">ISO认证</span>
                    </td>
                </tr>

                <!-- 系统集成 -->
                <tr>
                    <td class="old-solution">
                        <h3>🔗 有限集成能力</h3>
                        <ul>
                            <li>需要定制适配器</li>
                            <li>平均对接耗时：2-3周/系统</li>
                            <li>高维护成本</li>
                        </ul>
                    </td>
                    <td class="new-solution">
                        <h3>🧩 智能集成</h3>
                        <ul>
                            <li>自动模型发现与对齐</li>
                            <li>预置200+行业适配器</li>
                            <li>平均对接耗时：4-8小时</li>
                        </ul>
                        <span class="improvement">效率提升10倍</span>
                    </td>
                </tr>

                <!-- 可扩展性 -->
                <tr>
                    <td class="old-solution">
                        <h3>📈 垂直扩展</h3>
                        <ul>
                            <li>单节点架构</li>
                            <li>最大支持10万三元组</li>
                            <li>扩容需停机维护</li>
                        </ul>
                    </td>
                    <td class="new-solution">
                        <h3>🚀 弹性扩展</h3>
                        <ul>
                            <li>原生Kubernetes支持</li>
                            <li>线性扩展至100+节点</li>
                            <li>支持PB级数据规模</li>
                        </ul>
                        <span class="feature-tag new-tag">云原生架构</span>
                    </td>
                </tr>
            </tbody>
        </table>

        <section class="key-takeaways">
            <h2>核心改进总结</h2>
            <div class="improvement-card">
                <h3>🔄 动态模型演化</h3>
                <p>支持在线模型更新，变更影响分析耗时从小时级降至秒级</p>
            </div>
            <div class="improvement-card">
                <h3>🔐 增强安全性</h3>
                <p>新增字段级数据脱敏和审计追踪功能，通过等保三级认证</p>
            </div>
        </section>

    </div>

    <!-- 联系内容 -->
    <div id="contact" class="content-section">
        <h1>获取支持</h1>
        <div class="contact-info">
            <div>
                <h2>商务合作</h2>
                <p>电话：15626514546</p>
                <p>邮箱：1666732060@qq.com</p>
            </div>
        </div>
    </div>

    <footer>
        <p>© 2024 Semantrix 京ICP备12345678号</p>
    </footer>

    <script>
        // 内容切换函数
        function showSection(sectionId) {
            // 隐藏所有内容区块
            document.querySelectorAll('.content-section').forEach(section => {
                section.classList.remove('active');
            });

            // 显示目标内容
            document.getElementById(sectionId).classList.add('active');

            // 更新导航激活状态
            document.querySelectorAll('nav a').forEach(link => {
                link.classList.remove('active');
                if (link.onclick.toString().includes(sectionId)) {
                    link.classList.add('active');
                }
            });

            // 更新URL哈希
            window.location.hash = sectionId;
        }

        // 初始化时根据哈希显示对应内容
        window.onload = function () {
            const hash = window.location.hash.substring(1);
            if (hash) {
                showSection(hash);
            }
        }

        // 修改用户信息处理逻辑
        const userSection = document.getElementById('userSection');
        const loginBtn = document.getElementById('loginBtn');
        const userProfile = document.getElementById('userProfile');
        const dropdownMenu = document.getElementById('dropdownMenu');
        const userName = document.getElementById('userName');
        const userAvatar = document.getElementById('userAvatar');
        const logoutBtn = document.getElementById('logoutBtn');

        // 检查登录状态
        const token = localStorage.getItem('token');
        const userStr = localStorage.getItem('user');
        let user = null;
        try {
            user = userStr ? JSON.parse(userStr) : null;
        } catch (e) {
            console.error('Error parsing user data:', e);
            user = null;
        }

        if (!token || !user) {
            // 未登录，显示登录按钮
            loginBtn.style.display = 'flex';
            userProfile.style.display = 'none';
        } else {
            // 已登录，显示用户信息
            loginBtn.style.display = 'none';
            userProfile.style.display = 'block';
            userName.textContent = user.username;
            userAvatar.textContent = user.username.charAt(0).toUpperCase();

            // 点击用户信息显示下拉菜单
            userProfile.addEventListener('click', (e) => {
                e.stopPropagation();
                dropdownMenu.classList.toggle('show');
            });

            // 点击其他地方关闭下拉菜单
            document.addEventListener('click', () => {
                dropdownMenu.classList.remove('show');
            });

            // 退出登录
            logoutBtn.addEventListener('click', (e) => {
                e.preventDefault();
                localStorage.removeItem('token');
                localStorage.removeItem('user');
                window.location.reload(); // 刷新页面以更新显示状态
            });
        }
    </script>
</body>

</html>